System programming language - PDFSEARCH.IO - Document Search Engine

System programming language
Results: 2012

#	Item
541	Catching Bugs in the Web of Program Invariants Cormac Flanagan Matthew Flatt Shriram Krishnamurthi Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:15 Data types List Cons Programming language Lisp Type system Pointer ALGOL 68 Reference Software engineering Computing Computer programming
542	TriCore_Datasheet_v2.x.qxp Add to Reading List Source URL: www.tasking.com Language: English - Date: 2013-07-03 10:54:36 Programming language implementation Embedded system Breakpoint Debugging Debugger Infineon TriCore Compiler optimization Compiler C standard library Computing Software engineering Computer programming
543	In Proceedings of the 2004 International Conference on New Interfaces for Musical Expression (NIME) On-the-fly Programming: Using Code as an Expressive Musical Instrument Ge Wang Add to Reading List Source URL: www.gewang.com Language: English - Date: 2015-02-21 01:45:23 System software Computing ChucK Cross-platform software Electronic music Programming language MUSIC-N Concurrent computing Programming paradigm Software Audio programming languages Software synthesizers
544	Abstract A Type-Preserving Compiler Infrastructure Christopher Adam League Many kinds of networked devices receive and execute new programs from various sources. Since we may not fully trust the producers of these progra Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:12 Cross-platform software Type theory Procedural programming languages Java bytecode Type system Java Programming language C Strong typing Computing Software engineering Software
545	A linear type system for pi calculus joint work with Vasco T. Vasconcelos Marco Giunti ´ INRIA & LIX, Ecole Add to Reading List Source URL: www.dcs.gla.ac.uk Language: English - Date: 2011-04-28 06:07:57 Software engineering Π-calculus Type system ALGOL 68 Linear type system Calculus System F Function Type theory Programming language theory Mathematics
546	Thesis A Type-Preserving Compiler Infrastructure Christopher League Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:13 ß Java bytecode Programming language theory Type system Closure Software engineering German language Computing
547	An architecture for integrating an Expert System with NEPLAN in a DMS/EMS operational environment Add to Reading List Source URL: www.neplan.ch Language: English - Date: 2015-01-28 07:22:42 SCADA Telemetry NORD Programming Language Expert system Computer-integrated manufacturing Operating system Database Technology Information systems Industrial automation
548	Hancock: A Language for Processing Very Large-Scale Data Dan Bonachea Kathleen Fisher Anne Rogers Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2004-11-10 21:04:09 Procedural programming languages Type theory Subroutines C++ C Type signature Type system Parameter Signature Software engineering Computer programming Computing
549	Profile-Guided Static Typing for Dynamic Scripting Languages Michael Furr Jong-hoon (David) An Jeffrey S. Foster Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2009-11-19 15:40:39 Type theory Data types Scripting languages Control flow Eval Dynamic programming language Type system Reflection Ruby Software engineering Computing Computer programming
550	Delphi XE2 Feature Matrix \| Fastest way to build native Windows, Mac and iOS applications Add to Reading List Source URL: www.ibase.ru Language: English - Date: 2011-12-23 02:26:34 Integrated development environments Delphi programming language Pascal Embarcadero Delphi Mac OS X C++Builder X Window System Visual Component Library DbExpress Software Computing Borland

UPDATE